STS-Tool: Using Commitments to Specify Socio-Technical Security Requirements
نویسندگان
چکیده
In this paper, we present STS-Tool, the modelling and analysis support tool for STS-ml, an actorand goal-oriented security requirements modelling language for Socio-Technical Systems (STSs). STS-Tool allows designers to model a socio-technical system at a high-level of abstraction, while expressing constraints (security needs) over the interactions between the actors in the STS, and derive security requirements in terms of social commitments (promises with contractual validity) once the modelling is done.
منابع مشابه
STS-Tool 3.0: Maintaining Security in Socio-Technical Systems
In this paper, we present STS-Tool 3.0: a software tool that helps security requirement engineers in maintaining high level of security in socio-technical systems. STS-Tool 3.0 allows to specify social/organizational security requirements and to enforce them in part of the implementation of socio-technical systems.
متن کاملModelling Security Requirements in Socio-Technical Systems with STS-Tool
Security Requirements Engineering (SRE) deals with the specification of security requirements for the system-to-be starting with the analysis of security issues as soon as in the early requirements phase. STS-ml is an actorand goaloriented requirements modelling language for Socio-Technical Systems (STSs), which represents the security needs the stakeholders express as constraints over the inte...
متن کاملSTS-Tool: Specifying and Reasoning over Socio-Technical Security Requirements
STS-Tool is the modelling and analysis support tool for STSml, our proposed actorand goal-oriented security requirements modelling language for Socio-Technical Systems (STSs). STS-Tool allows designers to model an STS through high-level primitives, to express security constraints over the interactions between the actors in the STS, as well as to derive security requirements once the modelling i...
متن کاملSTS-Tool: Security Requirements Engineering for Socio-Technical Systems
We present the latest version of STS-Tool, the modelling and analysis support tool for STS-ml, an actorand goal-oriented security requirements modelling language for socio-technical systems. We show how the STS-Tool supports requirements analysts and security designers in (i) modelling socio-technical systems as a set of interacting actors, who have security needs over their interactions, and (...
متن کاملSpecifying and Reasoning over Socio-Technical Security Requirements with STS-Tool
We present the latest version of STS-Tool, the modelling and analysis support tool for STS-ml, an actorand goal-oriented security requirements modelling language for socio-technical systems. STS-Tool allows designers to model a socio-technical system in terms of high-level primitives such as actor, goal, and delegation; to express security constraints over the interactions between the actors; a...
متن کامل